Translation from Three-Valued Quantum Logic to Modal Logic
نویسندگان
چکیده
Abstract We translate the three-valued quantum logic into modal logic, and prove 3-equivalence between valuation of a kind Kripke model in regard to this translation. To 3-equivalence, we introduce an observable-dependent which is fragment many-valued logic. Compared Birkhoff von Neumann’s some notions about observables, completeness relation for example, mechanics can be utilized if employed.
منابع مشابه
Three-valued Logics in Modal Logic
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any threevalued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In gene...
متن کاملA Real-Valued Modal Logic
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers. A labelled tableau system is provided and a coNEXPTIME upper bound obtained for checking validity in the logic. Focussing on the modal-multiplicative fragment, the labelled tableau system...
متن کاملUniversity of Groningen Three - valued logics in modal logic
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any threevalued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In gene...
متن کاملAxiomatizing a Real-Valued Modal Logic
A many-valued modal logic is introduced that combines the standard (crisp) Kripke frame semantics of the modal logic K with connectives interpreted locally as abelian group operations over the real numbers. A labelled tableau system and a sequent calculus admitting cut elimination are then defined for this logic and used to establish completeness of an axiomatic extension of the multiplicative ...
متن کاملOn Lukasiewicz's Four-Valued Modal Logic
à Lukasiewicz’s four-valued modal logic is surveyed and analyzed, together with à Lukasiewicz’s motivations to develop it. A faithful interpretation of it into classical (non-modal) two-valued logic is presented, and some consequences are drawn concerning its classification and its algebraic behaviour. Some counter-intuitive aspects of this logic are discussed under the light of the presented r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Theoretical Physics
سال: 2021
ISSN: ['0020-7748', '1572-9575']
DOI: https://doi.org/10.1007/s10773-020-04701-z